Reasoning about Propagation of Properties over Regions

We discuss how a property of some region is propagated to other regions. We propose a system called SRCC that enables the integration of spatial and semantic data. SRCC can represent the relative positions of regions, properties that hold in some regions, semantic relation between regions, and so on. We define the model and describe an algorithm that checks for the existence of a model for a given set of formulas based on this model. We prove the soundness and completeness of the algorithm and apply it to an example that inspects the causality of contamination in 2D space.